Chakravarty, Manuel M.T.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The risks and benefits of teaching purely functional programming in first year

CHAKRAVARTY, MANUEL M. T., KELLER, GABRIELE

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 487 KB

english, 2004

2

[ACM Press the 2007 ACM SIGPLAN international workshop - Nice, Nice, France (2007.01.16-2007.01.16)] Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 - System F with type equality coercions

Sulzmann, Martin, Chakravarty, Manuel M. T., Jones, Simon Peyton, Donnelly, Kevin

Year:

2007

Language:

english

File:

PDF, 309 KB

english, 2007

3

Work efficient higher-order vectorisation

Lippmeier, Ben, Chakravarty, Manuel M.T., Keller, Gabriele, Leshchinskiy, Roman, Peyton Jones, Simon

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 541 KB

english, 2012

4

[ACM Press the 4th ACM SIGPLAN Workshop - Vancouver, BC, Canada (2015.09.03-2015.09.03)] Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing - FHPC 2015 - Functional array streams

Madsen, Frederik M., Clifton-Everest, Robert, Chakravarty, Manuel M. T., Keller, Gabriele

Year:

2015

Language:

english

File:

PDF, 200 KB

english, 2015

5

[ACM Press the 2007 workshop - Nice, France (2007.01.16-2007.01.16)] Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07 - Data parallel Haskell

Chakravarty, Manuel M. T., Leshchinskiy, Roman, Jones, Simon Peyton, Keller, Gabriele, Marlow, Simon

Year:

2007

Language:

english

File:

PDF, 157 KB

english, 2007

6

GOFFIN: Higher-order functions meet concurrent constraints

Manuel M.T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C.R. Lock

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 2.66 MB

english, 1998

7

Regular, shape-polymorphic, parallel arrays in Haskell

Keller, Gabriele, Chakravarty, Manuel M.T., Leshchinskiy, Roman, Peyton Jones, Simon, Lippmeier, Ben

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 553 KB

english, 2010

8

A Parallelised High Performance Monte Carlo Simulation Approach for Complex Polymerisation Kinetics

Hugh Chaffey-Millar, Don Stewart, Manuel M. T. Chakravarty, Gabriele Keller, Christopher Barner-Kowollik

Journal:

Macromolecular Theory and Simulations

Year:

2007

Language:

english

File:

PDF, 438 KB

english, 2007

9

Type checking with open type functions

Schrijvers, Tom, Peyton Jones, Simon, Chakravarty, Manuel, Sulzmann, Martin

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

10

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Regular, shape-polymorphic, parallel arrays in Haskell

Keller, Gabriele, Chakravarty, Manuel M.T., Leshchinskiy, Roman, Peyton Jones, Simon, Lippmeier, Ben

Year:

2010

Language:

english

File:

PDF, 553 KB

english, 2010

11

[ACM Press the 32nd ACM SIGPLAN-SIGACT sysposium - Long Beach, California, USA (2005.01.12-2005.01.14)] Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 - Associated types with class

Chakravarty, Manuel M. T., Keller, Gabriele, Jones, Simon Peyton, Marlow, Simon

Year:

2005

Language:

english

File:

PDF, 317 KB

english, 2005

12

Guiding parallel array fusion with indexed types

Lippmeier, Ben, Chakravarty, Manuel, Keller, Gabriele, Peyton Jones, Simon

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 993 KB

english, 2013

13

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - Vectorisation avoidance

Keller, Gabriele, Chakravarty, Manuel M.T., Leshchinskiy, Roman, Lippmeier, Ben, Peyton Jones, Simon

Year:

2012

Language:

english

File:

PDF, 641 KB

english, 2012

14

[ACM Press the 2nd ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.23-2013.09.23)] Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '13 - Data parallelism in Haskell

Chakravarty, Manuel M.T.

Year:

2013

Language:

english

File:

PDF, 309 KB

english, 2013

15

[ACM Press the third ACM Haskell symposium - Baltimore, Maryland, USA (2010.09.30-2010.09.30)] Proceedings of the third ACM Haskell symposium on Haskell - Haskell '10 - An llVM backend for GHC

Terei, David A., Chakravarty, Manuel M.T.

Year:

2010

Language:

english

File:

PDF, 600 KB

english, 2010

16

Optimising purely functional GPU programs

McDonell, Trevor L., Chakravarty, Manuel M.T., Keller, Gabriele, Lippmeier, Ben

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 703 KB

english, 2013

17

Modular type classes

Dreyer, Derek, Harper, Robert, Chakravarty, Manuel M. T., Keller, Gabriele

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 569 KB

english, 2007

18

[ACM Press the 7th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.25-2011.01.25)] Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '11 - Singleton

Winwood, Simon, Chakravarty, Manuel

Year:

2011

Language:

english

File:

PDF, 658 KB

english, 2011

19

Associated type synonyms

Chakravarty, Manuel M. T., Keller, Gabriele, Jones, Simon Peyton

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 213 KB

english, 2005

20

[ACM Press the 2006 ACM SIGPLAN workshop - Portland, Oregon, USA (2006.09.17-2006.09.17)] Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06 - Running the manual

Derrin, Philip, Elphinstone, Kevin, Klein, Gerwin, Cock, David, Chakravarty, Manuel M. T.

Year:

2006

Language:

english

File:

PDF, 189 KB

english, 2006

21

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Modular type classes

Dreyer, Derek, Harper, Robert, Chakravarty, Manuel M. T., Keller, Gabriele

Year:

2007

Language:

english

File:

PDF, 569 KB

english, 2007

22

[ACM Press the ACM SIGPLAN workshop - Snowbird, Utah, USA (2004.09.22-2004.09.22)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04 - Plugging Haskell in

Pang, André, Stewart, Don, Seefried, Sean, Chakravarty, Manuel M. T.

Year:

2004

Language:

english

File:

PDF, 150 KB

english, 2004

23

[ACM Press the tenth ACM SIGPLAN international conference - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 - Associated type synonyms

Chakravarty, Manuel M. T., Keller, Gabriele, Jones, Simon Peyton

Year:

2005

Language:

english

File:

PDF, 213 KB

english, 2005

24

[IEEE 2013 IEEE 31st VLSI Test Symposium (VTS) - Berkeley, CA (2013.4.29-2013.5.2)] 2013 IEEE 31st VLSI Test Symposium (VTS) - Innovative practices session 2C: Memory test

Dixit, Charutosh, Tekumalla, Ramesh, Chakravarty, Sreejit, Dixit, Charutosh, D'Abreu, Manuel, Bao, Zhuoyu, Riccobene, Concetta

Year:

2013

Language:

english

File:

PDF, 60 KB

english, 2013

25

Protection against inhalation anthrax by immunization with Salmonella enterica serovar Typhi Ty21a stably producing protective antigen of Bacillus anthracis

Sim, B. Kim Lee, Li, Minglin, Osorio, Manuel, Wu, Yun, Wai, Tint T., Peterson, Johnny W., James, Eric R., Chakravarty, Sumana, Gao, Lixin, Xu, Rui, KC, Natasha, Stafford, Richard E., Lawrence, William

Journal:

Year:

2017

Language:

english

File:

PDF, 587 KB

english, 2017

26

The effect of second-generation antipsychotics on basal ganglia and thalamus in first-episode psychosis patients

Albacete, Auria, Makowski, Carolina, Mallar Chakravarty, M., Joober, Ridha, Malla, Ashok K., Contreras, Fernando, Menchón, José Manuel, Lepage, Martin

Journal:

European Neuropsychopharmacology

Year:

2019

Language:

english

File:

PDF, 828 KB

english, 2019

27

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - Guiding parallel array fusion with indexed types

Lippmeier, Ben, Chakravarty, Manuel, Keller, Gabriele, Peyton Jones, Simon

Year:

2012

Language:

english

File:

PDF, 993 KB

english, 2012

28

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Type checking with open type functions

Schrijvers, Tom, Peyton Jones, Simon, Chakravarty, Manuel, Sulzmann, Martin

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

29

Functional array fusion

Chakravarty, Manuel M. T., Keller, Gabriele

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 257 KB

english, 2001

30

[ACM Press the 2014 ACM SIGPLAN symposium - Gothenburg, Sweden (2014.09.04-2014.09.05)] Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14 - Foreign inline code

Chakravarty, Manuel M.T.

Year:

2014

Language:

english

File:

PDF, 364 KB

english, 2014

31

A Functional Perspective on SSA Optimisation Algorithms

Manuel M.T. Chakravarty, Gabriele Keller, Patryk Zadarnowski

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 205 KB

english, 2004

32

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - Data flow fusion with series expressions in Haskell

Lippmeier, Ben, Chakravarty, Manuel M.T., Keller, Gabriele, Robinson, Amos

Year:

2013

Language:

english

File:

PDF, 467 KB

english, 2013

33

Towards the uniform implementation of declarative languages

Manuel M.T. Chakravarty, Hendrik C.R. Lock

Journal:

Computer Languages

Year:

1997

Language:

english

File:

PDF, 3.56 MB

english, 1997

34

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Work efficient higher-order vectorisation

Lippmeier, Ben, Chakravarty, Manuel M.T., Keller, Gabriele, Leshchinskiy, Roman, Peyton Jones, Simon

Year:

2012

Language:

english

File:

PDF, 541 KB

english, 2012

35

Vectorisation avoidance

Keller, Gabriele, Chakravarty, Manuel M.T., Leshchinskiy, Roman, Lippmeier, Ben, Peyton Jones, Simon

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 641 KB

english, 2013

36

An llVM backend for GHC

Terei, David A., Chakravarty, Manuel M.T.

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 600 KB

english, 2010

37

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - Dynamic applications from the ground up

Stewart, Don, Chakravarty, Manuel M. T.

Year:

2005

Language:

english

File:

PDF, 184 KB

english, 2005

38

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Optimising purely functional GPU programs

McDonell, Trevor L., Chakravarty, Manuel M.T., Keller, Gabriele, Lippmeier, Ben

Year:

2013

Language:

english

File:

PDF, 703 KB

english, 2013

39

[ACM Press the sixth workshop - Austin, Texas, USA (2011.01.23-2011.01.23)] Proceedings of the sixth workshop on Declarative aspects of multicore programming - DAMP '11 - Accelerating Haskell array codes with multicore GPUs

Chakravarty, Manuel M.T., Keller, Gabriele, Lee, Sean, McDonell, Trevor L., Grover, Vinod

Year:

2011

Language:

english

File:

PDF, 847 KB

english, 2011

40

COSTING NESTED ARRAY CODES

LECHTCHINSKY, ROMAN, CHAKRAVARTY, MANUEL M. T., KELLER, GABRIELE

Journal:

Parallel Processing Letters

Year:

2002

Language:

english

File:

PDF, 3.01 MB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски